• Net Auto-Solver: A formal approach for automatic resolution of OpenFlow anomalies 

      Aryan, Ramtin; Yazidi, Anis; Engelstad, Paal E.; Bouhoula, Adel (Conference on Local Computer Networks; 2020 IEEE 45th Conference on Local Computer Networks (LCN), Journal article; Peer reviewed, 2021-01-15)
      Policy anomalies are frequent in nowadays’s computer networks due to their increasing configuration complexity. Resolving policy anomalies usually requires network administrator intervention, which is a time-intensive and ...